1

Computation of bases of free modules over the Weyl algebras

Year:
2007
Language:
english
File:
PDF, 603 KB
english, 2007
3

conley: Computing connection matrices in Maple

Year:
2009
Language:
english
File:
PDF, 1.48 MB
english, 2009
4

Noether normalization guided by monomial cone decompositions

Year:
2009
Language:
english
File:
PDF, 784 KB
english, 2009
5

Linear Differential Elimination for Analytic Functions

Year:
2010
Language:
english
File:
PDF, 210 KB
english, 2010
7

homalg – A META-PACKAGE FOR HOMOLOGICAL ALGEBRA

Year:
2008
Language:
english
File:
PDF, 299 KB
english, 2008
8

[Lecture Notes in Mathematics] Formal Algorithmic Elimination for PDEs Volume 2121 ||

Year:
2014
Language:
english
File:
PDF, 2.57 MB
english, 2014
10

Lagrangian constraints and differential Thomas decomposition

Year:
2016
Language:
english
File:
PDF, 499 KB
english, 2016
11

Stafford's Reduction of Linear Partial Differential Systems

Year:
2013
Language:
english
File:
PDF, 217 KB
english, 2013
12

Thomas decompositions of parametric nonlinear control systems

Year:
2013
Language:
english
File:
PDF, 295 KB
english, 2013
16

The icosahedra of edge length 1

Year:
2019
Language:
english
File:
PDF, 1007 KB
english, 2019